node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,7) :- #0.485.
link(7,1) :- #0.092.
link(1,49) :- #0.053.
link(49,1) :- #0.05.
link(1,65) :- #0.401.
link(65,1) :- #0.672.
link(1,69) :- #0.104.
link(69,1) :- #0.85.
link(1,87) :- #0.004.
link(87,1) :- #0.761.
link(1,92) :- #0.418.
link(92,1) :- #0.185.
link(1,98) :- #0.681.
link(98,1) :- #0.151.
link(1,119) :- #0.458.
link(119,1) :- #0.811.
link(1,125) :- #0.747.
link(125,1) :- #0.944.
link(1,139) :- #0.123.
link(139,1) :- #0.034.
link(1,140) :- #0.551.
link(140,1) :- #0.086.
link(1,141) :- #0.006.
link(141,1) :- #0.177.
link(1,144) :- #0.967.
link(144,1) :- #0.767.
link(2,8) :- #0.778.
link(8,2) :- #0.926.
link(2,31) :- #0.165.
link(31,2) :- #0.281.
link(2,39) :- #0.086.
link(39,2) :- #0.799.
link(2,48) :- #0.672.
link(48,2) :- #0.756.
link(2,64) :- #0.853.
link(64,2) :- #0.283.
link(2,83) :- #0.009.
link(83,2) :- #0.426.
link(2,116) :- #0.119.
link(116,2) :- #0.842.
link(2,120) :- #0.139.
link(120,2) :- #0.535.
link(2,126) :- #0.038.
link(126,2) :- #0.968.
link(3,8) :- #0.731.
link(8,3) :- #0.133.
link(3,12) :- #0.437.
link(12,3) :- #0.217.
link(3,16) :- #0.77.
link(16,3) :- #0.877.
link(3,60) :- #0.55.
link(60,3) :- #0.048.
link(3,68) :- #0.396.
link(68,3) :- #0.023.
link(3,70) :- #0.458.
link(70,3) :- #0.99.
link(3,78) :- #0.395.
link(78,3) :- #0.079.
link(3,81) :- #0.192.
link(81,3) :- #0.921.
link(3,87) :- #0.363.
link(87,3) :- #0.579.
link(3,97) :- #0.701.
link(97,3) :- #0.81.
link(3,114) :- #0.115.
link(114,3) :- #0.36.
link(3,123) :- #0.58.
link(123,3) :- #0.455.
link(3,131) :- #0.158.
link(131,3) :- #0.765.
link(3,133) :- #0.93.
link(133,3) :- #0.283.
link(3,142) :- #0.219.
link(142,3) :- #0.013.
link(4,26) :- #0.283.
link(26,4) :- #0.056.
link(4,31) :- #0.64.
link(31,4) :- #0.433.
link(4,44) :- #0.789.
link(44,4) :- #0.039.
link(4,51) :- #0.555.
link(51,4) :- #0.301.
link(4,64) :- #0.586.
link(64,4) :- #0.316.
link(4,71) :- #0.74.
link(71,4) :- #0.337.
link(4,87) :- #0.393.
link(87,4) :- #0.219.
link(4,98) :- #0.938.
link(98,4) :- #0.721.
link(4,121) :- #0.209.
link(121,4) :- #0.234.
link(4,130) :- #0.808.
link(130,4) :- #0.2.
link(4,131) :- #0.73.
link(131,4) :- #0.006.
link(4,133) :- #0.869.
link(133,4) :- #0.074.
link(4,135) :- #0.584.
link(135,4) :- #0.83.
link(4,141) :- #0.39.
link(141,4) :- #0.624.
link(4,144) :- #0.166.
link(144,4) :- #0.835.
link(5,13) :- #0.849.
link(13,5) :- #0.946.
link(5,22) :- #0.236.
link(22,5) :- #0.325.
link(5,28) :- #0.817.
link(28,5) :- #0.812.
link(5,30) :- #0.991.
link(30,5) :- #0.902.
link(5,52) :- #0.057.
link(52,5) :- #0.617.
link(5,91) :- #0.41.
link(91,5) :- #0.978.
link(5,112) :- #0.588.
link(112,5) :- #0.996.
link(5,118) :- #0.763.
link(118,5) :- #0.656.
link(5,123) :- #0.025.
link(123,5) :- #0.123.
link(5,125) :- #0.308.
link(125,5) :- #0.095.
link(5,134) :- #0.939.
link(134,5) :- #0.2.
link(5,136) :- #0.119.
link(136,5) :- #0.997.
link(5,141) :- #0.182.
link(141,5) :- #0.183.
link(6,8) :- #0.232.
link(8,6) :- #0.685.
link(6,22) :- #0.324.
link(22,6) :- #0.444.
link(6,23) :- #0.859.
link(23,6) :- #0.041.
link(6,53) :- #0.867.
link(53,6) :- #0.966.
link(6,64) :- #0.485.
link(64,6) :- #0.729.
link(6,68) :- #0.838.
link(68,6) :- #0.807.
link(6,73) :- #0.358.
link(73,6) :- #0.425.
link(6,84) :- #0.445.
link(84,6) :- #0.215.
link(6,88) :- #0.061.
link(88,6) :- #0.068.
link(6,99) :- #0.723.
link(99,6) :- #0.8.
link(6,107) :- #0.776.
link(107,6) :- #0.283.
link(6,122) :- #0.682.
link(122,6) :- #0.101.
link(6,129) :- #0.094.
link(129,6) :- #0.44.
link(6,136) :- #0.189.
link(136,6) :- #0.375.
link(6,137) :- #0.128.
link(137,6) :- #0.262.
link(7,18) :- #0.416.
link(18,7) :- #0.246.
link(7,22) :- #0.491.
link(22,7) :- #0.327.
link(7,24) :- #0.761.
link(24,7) :- #0.497.
link(7,35) :- #0.987.
link(35,7) :- #0.103.
link(7,39) :- #0.861.
link(39,7) :- #0.787.
link(7,70) :- #0.417.
link(70,7) :- #0.848.
link(7,75) :- #0.224.
link(75,7) :- #0.621.
link(7,113) :- #0.503.
link(113,7) :- #0.657.
link(7,119) :- #0.601.
link(119,7) :- #0.004.
link(7,121) :- #0.109.
link(121,7) :- #0.109.
link(7,131) :- #0.041.
link(131,7) :- #0.615.
link(7,134) :- #0.43.
link(134,7) :- #0.416.
link(7,136) :- #0.435.
link(136,7) :- #0.995.
link(8,11) :- #0.002.
link(11,8) :- #0.092.
link(8,14) :- #0.805.
link(14,8) :- #0.629.
link(8,27) :- #0.105.
link(27,8) :- #0.017.
link(8,32) :- #0.756.
link(32,8) :- #0.112.
link(8,44) :- #0.298.
link(44,8) :- #0.395.
link(8,57) :- #0.884.
link(57,8) :- #0.156.
link(8,96) :- #0.628.
link(96,8) :- #0.5.
link(8,104) :- #0.079.
link(104,8) :- #0.4.
link(8,129) :- #0.938.
link(129,8) :- #0.832.
link(8,141) :- #0.91.
link(141,8) :- #0.079.
link(9,11) :- #0.033.
link(11,9) :- #0.496.
link(9,14) :- #0.651.
link(14,9) :- #0.059.
link(9,25) :- #0.37.
link(25,9) :- #0.244.
link(9,29) :- #0.222.
link(29,9) :- #0.8.
link(9,35) :- #0.91.
link(35,9) :- #0.934.
link(9,37) :- #0.851.
link(37,9) :- #0.054.
link(9,52) :- #0.659.
link(52,9) :- #0.612.
link(9,58) :- #0.611.
link(58,9) :- #0.641.
link(9,74) :- #0.74.
link(74,9) :- #0.301.
link(9,76) :- #0.177.
link(76,9) :- #0.336.
link(9,98) :- #0.25.
link(98,9) :- #0.945.
link(9,106) :- #0.022.
link(106,9) :- #0.596.
link(9,107) :- #0.226.
link(107,9) :- #0.961.
link(9,116) :- #0.228.
link(116,9) :- #0.782.
link(9,120) :- #0.12.
link(120,9) :- #0.264.
link(9,123) :- #0.939.
link(123,9) :- #0.146.
link(9,142) :- #0.991.
link(142,9) :- #0.566.
link(9,144) :- #0.003.
link(144,9) :- #0.911.
link(10,38) :- #0.172.
link(38,10) :- #0.404.
link(10,48) :- #0.237.
link(48,10) :- #0.317.
link(10,59) :- #0.352.
link(59,10) :- #0.114.
link(10,80) :- #0.228.
link(80,10) :- #0.587.
link(10,88) :- #0.433.
link(88,10) :- #0.293.
link(10,93) :- #0.235.
link(93,10) :- #0.364.
link(10,104) :- #0.307.
link(104,10) :- #0.784.
link(10,111) :- #0.184.
link(111,10) :- #0.454.
link(10,118) :- #0.075.
link(118,10) :- #0.826.
link(10,121) :- #0.517.
link(121,10) :- #0.45.
link(10,125) :- #0.477.
link(125,10) :- #0.283.
link(10,128) :- #0.679.
link(128,10) :- #0.598.
link(10,131) :- #0.272.
link(131,10) :- #0.435.
link(10,132) :- #0.846.
link(132,10) :- #0.515.
link(11,12) :- #0.526.
link(12,11) :- #0.081.
link(11,13) :- #0.411.
link(13,11) :- #0.953.
link(11,37) :- #0.678.
link(37,11) :- #0.01.
link(11,51) :- #0.176.
link(51,11) :- #0.044.
link(11,54) :- #0.47.
link(54,11) :- #0.557.
link(11,68) :- #0.929.
link(68,11) :- #0.35.
link(11,69) :- #0.657.
link(69,11) :- #0.834.
link(11,78) :- #0.294.
link(78,11) :- #0.826.
link(11,82) :- #0.396.
link(82,11) :- #0.799.
link(11,83) :- #0.823.
link(83,11) :- #0.657.
link(11,84) :- #0.422.
link(84,11) :- #0.832.
link(11,85) :- #0.15.
link(85,11) :- #0.893.
link(11,93) :- #0.32.
link(93,11) :- #0.498.
link(11,102) :- #0.553.
link(102,11) :- #0.417.
link(11,104) :- #0.933.
link(104,11) :- #0.522.
link(11,119) :- #0.263.
link(119,11) :- #0.762.
link(11,122) :- #0.312.
link(122,11) :- #0.174.
link(11,126) :- #0.556.
link(126,11) :- #0.485.
link(12,55) :- #0.752.
link(55,12) :- #0.71.
link(12,70) :- #0.92.
link(70,12) :- #0.767.
link(12,79) :- #0.542.
link(79,12) :- #0.718.
link(12,85) :- #0.855.
link(85,12) :- #0.706.
link(12,87) :- #0.023.
link(87,12) :- #0.156.
link(12,109) :- #0.034.
link(109,12) :- #0.758.
link(12,112) :- #0.636.
link(112,12) :- #0.095.
link(12,134) :- #0.459.
link(134,12) :- #0.326.
link(12,137) :- #0.436.
link(137,12) :- #0.149.
link(13,21) :- #0.67.
link(21,13) :- #0.676.
link(13,31) :- #0.547.
link(31,13) :- #0.882.
link(13,36) :- #0.213.
link(36,13) :- #0.925.
link(13,39) :- #0.303.
link(39,13) :- #0.181.
link(13,40) :- #0.221.
link(40,13) :- #0.564.
link(13,44) :- #0.196.
link(44,13) :- #0.2.
link(13,46) :- #0.649.
link(46,13) :- #0.881.
link(13,51) :- #0.88.
link(51,13) :- #0.652.
link(13,55) :- #0.135.
link(55,13) :- #0.375.
link(13,58) :- #0.265.
link(58,13) :- #0.528.
link(13,72) :- #0.574.
link(72,13) :- #0.026.
link(13,75) :- #0.659.
link(75,13) :- #0.891.
link(13,79) :- #0.924.
link(79,13) :- #0.536.
link(13,82) :- #0.902.
link(82,13) :- #0.819.
link(13,103) :- #0.828.
link(103,13) :- #0.958.
link(13,121) :- #0.647.
link(121,13) :- #0.582.
link(13,123) :- #0.894.
link(123,13) :- #0.6.
link(14,22) :- #0.524.
link(22,14) :- #0.319.
link(14,42) :- #0.644.
link(42,14) :- #0.647.
link(14,49) :- #0.584.
link(49,14) :- #0.049.
link(14,53) :- #0.665.
link(53,14) :- #0.487.
link(14,69) :- #0.59.
link(69,14) :- #0.511.
link(14,75) :- #0.55.
link(75,14) :- #0.388.
link(14,78) :- #0.64.
link(78,14) :- #0.789.
link(14,89) :- #0.104.
link(89,14) :- #0.739.
link(14,94) :- #0.968.
link(94,14) :- #0.619.
link(14,116) :- #0.58.
link(116,14) :- #0.849.
link(14,129) :- #0.373.
link(129,14) :- #0.028.
link(14,134) :- #0.714.
link(134,14) :- #0.934.
link(14,145) :- #0.511.
link(145,14) :- #0.208.
link(15,60) :- #0.85.
link(60,15) :- #0.963.
link(15,79) :- #0.649.
link(79,15) :- #0.063.
link(15,103) :- #0.887.
link(103,15) :- #0.928.
link(15,104) :- #0.524.
link(104,15) :- #0.509.
link(15,123) :- #0.228.
link(123,15) :- #0.67.
link(15,131) :- #0.761.
link(131,15) :- #0.656.
link(15,136) :- #0.674.
link(136,15) :- #0.839.
link(15,140) :- #0.099.
link(140,15) :- #0.206.
link(16,25) :- #0.912.
link(25,16) :- #0.057.
link(16,42) :- #0.226.
link(42,16) :- #0.728.
link(16,47) :- #0.891.
link(47,16) :- #0.783.
link(16,71) :- #0.692.
link(71,16) :- #0.639.
link(16,82) :- #0.21.
link(82,16) :- #0.294.
link(16,86) :- #0.585.
link(86,16) :- #0.211.
link(16,97) :- #0.442.
link(97,16) :- #0.201.
link(16,109) :- #0.91.
link(109,16) :- #0.52.
link(16,132) :- #0.72.
link(132,16) :- #0.848.
link(16,136) :- #0.088.
link(136,16) :- #0.956.
link(17,20) :- #0.732.
link(20,17) :- #0.243.
link(17,81) :- #0.178.
link(81,17) :- #0.524.
link(17,86) :- #0.416.
link(86,17) :- #0.866.
link(17,90) :- #0.297.
link(90,17) :- #0.248.
link(17,99) :- #0.889.
link(99,17) :- #0.086.
link(17,105) :- #0.889.
link(105,17) :- #0.352.
link(17,113) :- #0.836.
link(113,17) :- #0.293.
link(17,117) :- #0.516.
link(117,17) :- #0.601.
link(17,123) :- #0.334.
link(123,17) :- #0.251.
link(17,134) :- #0.633.
link(134,17) :- #0.177.
link(17,138) :- #0.695.
link(138,17) :- #0.228.
link(17,141) :- #0.42.
link(141,17) :- #0.212.
link(18,26) :- #0.906.
link(26,18) :- #0.949.
link(18,27) :- #0.345.
link(27,18) :- #0.673.
link(18,50) :- #0.766.
link(50,18) :- #0.271.
link(18,55) :- #0.444.
link(55,18) :- #0.635.
link(18,79) :- #0.377.
link(79,18) :- #0.242.
link(18,99) :- #0.533.
link(99,18) :- #0.211.
link(18,104) :- #0.795.
link(104,18) :- #0.13.
link(18,119) :- #0.263.
link(119,18) :- #0.018.
link(18,122) :- #0.645.
link(122,18) :- #0.342.
link(18,123) :- #0.291.
link(123,18) :- #0.177.
link(18,136) :- #0.555.
link(136,18) :- #0.547.
link(19,21) :- #0.201.
link(21,19) :- #0.483.
link(19,37) :- #0.371.
link(37,19) :- #0.661.
link(19,40) :- #0.446.
link(40,19) :- #0.77.
link(19,50) :- #0.864.
link(50,19) :- #0.684.
link(19,65) :- #0.492.
link(65,19) :- #0.05.
link(19,74) :- #0.089.
link(74,19) :- #0.36.
link(19,76) :- #0.029.
link(76,19) :- #0.112.
link(19,81) :- #0.573.
link(81,19) :- #0.48.
link(19,91) :- #0.12.
link(91,19) :- #0.852.
link(19,105) :- #0.065.
link(105,19) :- #0.98.
link(19,106) :- #0.23.
link(106,19) :- #0.945.
link(19,119) :- #0.046.
link(119,19) :- #0.11.
link(19,124) :- #0.386.
link(124,19) :- #0.251.
link(19,127) :- #0.313.
link(127,19) :- #0.418.
link(20,22) :- #0.145.
link(22,20) :- #0.736.
link(20,41) :- #0.631.
link(41,20) :- #0.625.
link(20,42) :- #0.454.
link(42,20) :- #0.837.
link(20,45) :- #0.202.
link(45,20) :- #0.951.
link(20,49) :- #0.913.
link(49,20) :- #0.522.
link(20,54) :- #0.986.
link(54,20) :- #0.041.
link(20,84) :- #0.851.
link(84,20) :- #0.278.
link(20,111) :- #0.038.
link(111,20) :- #0.21.
link(20,115) :- #0.286.
link(115,20) :- #0.406.
link(20,123) :- #0.883.
link(123,20) :- #0.633.
link(20,129) :- #0.327.
link(129,20) :- #0.397.
link(21,26) :- #0.847.
link(26,21) :- #0.043.
link(21,27) :- #0.287.
link(27,21) :- #0.227.
link(21,29) :- #0.296.
link(29,21) :- #0.949.
link(21,43) :- #0.532.
link(43,21) :- #0.874.
link(21,53) :- #0.351.
link(53,21) :- #0.943.
link(21,56) :- #0.381.
link(56,21) :- #0.554.
link(21,57) :- #0.173.
link(57,21) :- #0.134.
link(21,70) :- #0.658.
link(70,21) :- #0.501.
link(21,88) :- #0.775.
link(88,21) :- #0.317.
link(21,109) :- #0.477.
link(109,21) :- #0.812.
link(21,117) :- #0.261.
link(117,21) :- #0.447.
link(21,119) :- #0.612.
link(119,21) :- #0.932.
link(21,142) :- #0.705.
link(142,21) :- #0.205.
link(22,33) :- #0.192.
link(33,22) :- #0.055.
link(22,38) :- #0.757.
link(38,22) :- #0.484.
link(22,62) :- #0.275.
link(62,22) :- #0.525.
link(22,71) :- #0.672.
link(71,22) :- #0.176.
link(22,90) :- #0.006.
link(90,22) :- #0.633.
link(22,93) :- #0.372.
link(93,22) :- #0.526.
link(22,98) :- #0.105.
link(98,22) :- #0.921.
link(22,100) :- #0.553.
link(100,22) :- #0.046.
link(22,106) :- #0.34.
link(106,22) :- #0.734.
link(22,135) :- #0.578.
link(135,22) :- #0.555.
link(22,138) :- #0.679.
link(138,22) :- #0.701.
link(22,145) :- #0.111.
link(145,22) :- #0.746.
link(23,38) :- #0.135.
link(38,23) :- #0.6.
link(23,42) :- #0.451.
link(42,23) :- #0.002.
link(23,44) :- #0.761.
link(44,23) :- #0.629.
link(23,49) :- #0.243.
link(49,23) :- #0.14.
link(23,79) :- #0.203.
link(79,23) :- #0.027.
link(23,84) :- #0.515.
link(84,23) :- #0.968.
link(23,123) :- #0.155.
link(123,23) :- #0.692.
link(23,144) :- #0.57.
link(144,23) :- #0.84.
link(24,26) :- #0.481.
link(26,24) :- #0.605.
link(24,40) :- #0.442.
link(40,24) :- #0.704.
link(24,61) :- #0.878.
link(61,24) :- #0.404.
link(24,88) :- #0.02.
link(88,24) :- #0.109.
link(24,95) :- #0.331.
link(95,24) :- #0.041.
link(24,115) :- #0.287.
link(115,24) :- #0.44.
link(24,116) :- #0.194.
link(116,24) :- #0.612.
link(24,128) :- #0.959.
link(128,24) :- #0.733.
link(24,132) :- #0.198.
link(132,24) :- #0.837.
link(24,137) :- #0.162.
link(137,24) :- #0.199.
link(24,141) :- #0.633.
link(141,24) :- #0.34.
link(24,142) :- #0.263.
link(142,24) :- #0.368.
link(25,32) :- #0.268.
link(32,25) :- #0.518.
link(25,78) :- #0.935.
link(78,25) :- #0.143.
link(25,83) :- #0.434.
link(83,25) :- #0.054.
link(25,85) :- #0.406.
link(85,25) :- #0.221.
link(25,102) :- #0.231.
link(102,25) :- #0.594.
link(25,110) :- #0.553.
link(110,25) :- #0.081.
link(25,111) :- #0.747.
link(111,25) :- #0.098.
link(25,114) :- #0.32.
link(114,25) :- #0.083.
link(26,44) :- #0.929.
link(44,26) :- #0.462.
link(26,45) :- #0.06.
link(45,26) :- #0.245.
link(26,59) :- #0.568.
link(59,26) :- #0.94.
link(26,67) :- #0.282.
link(67,26) :- #0.693.
link(26,86) :- #0.413.
link(86,26) :- #0.468.
link(26,92) :- #0.262.
link(92,26) :- #0.11.
link(26,128) :- #0.569.
link(128,26) :- #0.31.
link(26,137) :- #0.538.
link(137,26) :- #0.091.
link(27,41) :- #0.93.
link(41,27) :- #0.431.
link(27,48) :- #0.235.
link(48,27) :- #0.032.
link(27,53) :- #0.943.
link(53,27) :- #0.267.
link(27,72) :- #0.718.
link(72,27) :- #0.172.
link(27,97) :- #0.436.
link(97,27) :- #0.052.
link(27,102) :- #0.563.
link(102,27) :- #0.742.
link(27,129) :- #0.915.
link(129,27) :- #0.736.
link(27,134) :- #0.372.
link(134,27) :- #0.876.
link(27,139) :- #0.508.
link(139,27) :- #0.736.
link(27,142) :- #0.279.
link(142,27) :- #0.288.
link(28,36) :- #0.782.
link(36,28) :- #0.053.
link(28,38) :- #0.077.
link(38,28) :- #0.568.
link(28,49) :- #0.946.
link(49,28) :- #0.528.
link(28,51) :- #0.955.
link(51,28) :- #0.829.
link(28,68) :- #0.243.
link(68,28) :- #0.649.
link(28,87) :- #0.674.
link(87,28) :- #0.962.
link(28,110) :- #0.925.
link(110,28) :- #0.08.
link(28,130) :- #0.309.
link(130,28) :- #0.826.
link(28,133) :- #0.268.
link(133,28) :- #0.064.
link(28,134) :- #0.146.
link(134,28) :- #0.602.
link(28,136) :- #0.296.
link(136,28) :- #0.77.
link(29,40) :- #0.968.
link(40,29) :- #0.523.
link(29,48) :- #0.993.
link(48,29) :- #0.107.
link(29,53) :- #0.526.
link(53,29) :- #0.299.
link(29,58) :- #0.516.
link(58,29) :- #0.353.
link(29,59) :- #0.756.
link(59,29) :- #0.337.
link(29,65) :- #0.911.
link(65,29) :- #0.131.
link(29,69) :- #0.022.
link(69,29) :- #0.123.
link(29,70) :- #0.73.
link(70,29) :- #0.847.
link(29,94) :- #0.985.
link(94,29) :- #0.676.
link(29,97) :- #0.174.
link(97,29) :- #0.075.
link(29,99) :- #0.235.
link(99,29) :- #0.51.
link(29,100) :- #0.752.
link(100,29) :- #0.62.
link(29,110) :- #0.748.
link(110,29) :- #0.977.
link(29,119) :- #0.941.
link(119,29) :- #0.119.
link(29,121) :- #0.93.
link(121,29) :- #0.804.
link(29,128) :- #0.996.
link(128,29) :- #0.056.
link(29,140) :- #0.126.
link(140,29) :- #0.267.
link(30,33) :- #0.538.
link(33,30) :- #0.575.
link(30,56) :- #0.352.
link(56,30) :- #0.084.
link(30,59) :- #0.985.
link(59,30) :- #0.532.
link(30,61) :- #0.575.
link(61,30) :- #0.327.
link(30,75) :- #0.653.
link(75,30) :- #0.871.
link(30,76) :- #0.465.
link(76,30) :- #0.426.
link(30,104) :- #0.683.
link(104,30) :- #0.844.
link(30,119) :- #0.498.
link(119,30) :- #0.641.
link(30,136) :- #0.907.
link(136,30) :- #0.32.
link(30,140) :- #0.822.
link(140,30) :- #0.872.
link(31,35) :- #0.749.
link(35,31) :- #0.688.
link(31,41) :- #0.118.
link(41,31) :- #0.667.
link(31,42) :- #0.933.
link(42,31) :- #0.697.
link(31,44) :- #0.999.
link(44,31) :- #0.226.
link(31,47) :- #0.786.
link(47,31) :- #0.278.
link(31,49) :- #0.369.
link(49,31) :- #0.595.
link(31,51) :- #0.508.
link(51,31) :- #0.502.
link(31,59) :- #0.641.
link(59,31) :- #0.47.
link(31,69) :- #0.782.
link(69,31) :- #0.669.
link(31,70) :- #0.448.
link(70,31) :- #0.702.
link(31,78) :- #0.41.
link(78,31) :- #0.208.
link(31,108) :- #0.233.
link(108,31) :- #0.034.
link(31,131) :- #0.273.
link(131,31) :- #0.918.
link(32,51) :- #0.042.
link(51,32) :- #0.598.
link(32,69) :- #0.371.
link(69,32) :- #0.7.
link(32,83) :- #0.615.
link(83,32) :- #0.354.
link(32,95) :- #0.145.
link(95,32) :- #0.783.
link(32,120) :- #0.014.
link(120,32) :- #0.155.
link(32,121) :- #0.946.
link(121,32) :- #0.588.
link(32,143) :- #0.14.
link(143,32) :- #0.178.
link(33,35) :- #0.674.
link(35,33) :- #0.236.
link(33,39) :- #0.518.
link(39,33) :- #0.676.
link(33,48) :- #0.147.
link(48,33) :- #0.079.
link(33,67) :- #0.108.
link(67,33) :- #0.849.
link(33,80) :- #0.096.
link(80,33) :- #0.753.
link(33,93) :- #0.084.
link(93,33) :- #0.895.
link(33,98) :- #0.419.
link(98,33) :- #0.585.
link(33,101) :- #0.783.
link(101,33) :- #0.357.
link(33,102) :- #0.962.
link(102,33) :- #0.947.
link(33,112) :- #0.209.
link(112,33) :- #0.757.
link(33,114) :- #0.911.
link(114,33) :- #0.336.
link(33,126) :- #0.865.
link(126,33) :- #0.294.
link(33,136) :- #0.605.
link(136,33) :- #0.855.
link(33,140) :- #0.383.
link(140,33) :- #0.501.
link(33,145) :- #0.009.
link(145,33) :- #0.827.
link(34,48) :- #0.747.
link(48,34) :- #0.989.
link(34,53) :- #0.24.
link(53,34) :- #0.895.
link(34,57) :- #0.285.
link(57,34) :- #0.497.
link(34,68) :- #0.793.
link(68,34) :- #0.072.
link(34,70) :- #0.301.
link(70,34) :- #0.985.
link(34,91) :- #0.662.
link(91,34) :- #0.267.
link(34,96) :- #0.088.
link(96,34) :- #0.427.
link(34,102) :- #0.435.
link(102,34) :- #0.248.
link(34,104) :- #0.178.
link(104,34) :- #0.721.
link(34,111) :- #0.01.
link(111,34) :- #0.368.
link(34,114) :- #0.43.
link(114,34) :- #0.884.
link(34,129) :- #0.506.
link(129,34) :- #0.545.
link(34,133) :- #0.847.
link(133,34) :- #0.755.
link(34,137) :- #0.765.
link(137,34) :- #0.624.
link(34,138) :- #0.616.
link(138,34) :- #0.175.
link(35,56) :- #0.87.
link(56,35) :- #0.702.
link(35,59) :- #0.655.
link(59,35) :- #0.101.
link(35,63) :- #0.046.
link(63,35) :- #0.959.
link(35,78) :- #0.075.
link(78,35) :- #0.147.
link(35,82) :- #0.118.
link(82,35) :- #0.979.
link(35,93) :- #0.225.
link(93,35) :- #0.293.
link(35,120) :- #0.232.
link(120,35) :- #0.046.
link(35,134) :- #0.875.
link(134,35) :- #0.141.
link(35,138) :- #0.462.
link(138,35) :- #0.087.
link(35,139) :- #0.4.
link(139,35) :- #0.619.
link(36,58) :- #0.131.
link(58,36) :- #0.374.
link(36,62) :- #0.404.
link(62,36) :- #0.764.
link(36,68) :- #0.644.
link(68,36) :- #0.888.
link(36,70) :- #0.772.
link(70,36) :- #0.525.
link(36,75) :- #0.25.
link(75,36) :- #0.12.
link(36,77) :- #0.908.
link(77,36) :- #0.037.
link(36,93) :- #0.695.
link(93,36) :- #0.537.
link(36,95) :- #0.551.
link(95,36) :- #0.6.
link(36,107) :- #0.181.
link(107,36) :- #0.794.
link(36,110) :- #0.678.
link(110,36) :- #0.595.
link(36,113) :- #0.283.
link(113,36) :- #0.09.
link(36,123) :- #0.162.
link(123,36) :- #0.692.
link(37,39) :- #0.771.
link(39,37) :- #0.621.
link(37,68) :- #0.102.
link(68,37) :- #0.062.
link(37,72) :- #0.034.
link(72,37) :- #0.501.
link(37,95) :- #0.491.
link(95,37) :- #0.657.
link(37,114) :- #0.531.
link(114,37) :- #0.689.
link(37,121) :- #0.683.
link(121,37) :- #0.427.
link(37,138) :- #0.393.
link(138,37) :- #0.371.
link(37,142) :- #0.152.
link(142,37) :- #0.937.
link(38,53) :- #0.687.
link(53,38) :- #0.943.
link(38,61) :- #0.389.
link(61,38) :- #0.206.
link(38,63) :- #0.56.
link(63,38) :- #0.775.
link(38,65) :- #0.475.
link(65,38) :- #0.698.
link(38,70) :- #0.398.
link(70,38) :- #0.199.
link(38,94) :- #0.359.
link(94,38) :- #0.476.
link(38,95) :- #0.531.
link(95,38) :- #0.965.
link(39,53) :- #0.207.
link(53,39) :- #0.519.
link(39,70) :- #0.901.
link(70,39) :- #0.525.
link(39,76) :- #0.119.
link(76,39) :- #0.388.
link(39,91) :- #0.555.
link(91,39) :- #0.805.
link(39,93) :- #0.031.
link(93,39) :- #0.687.
link(39,101) :- #0.791.
link(101,39) :- #0.46.
link(39,104) :- #0.891.
link(104,39) :- #0.617.
link(39,110) :- #0.134.
link(110,39) :- #0.319.
link(39,112) :- #0.123.
link(112,39) :- #0.004.
link(39,126) :- #0.201.
link(126,39) :- #0.749.
link(39,135) :- #0.524.
link(135,39) :- #0.295.
link(39,140) :- #0.251.
link(140,39) :- #0.831.
link(39,144) :- #0.895.
link(144,39) :- #0.649.
link(40,81) :- #0.382.
link(81,40) :- #0.525.
link(40,95) :- #0.842.
link(95,40) :- #0.385.
link(40,100) :- #0.694.
link(100,40) :- #0.815.
link(41,53) :- #0.006.
link(53,41) :- #0.009.
link(41,55) :- #0.08.
link(55,41) :- #0.083.
link(41,58) :- #0.948.
link(58,41) :- #0.111.
link(41,65) :- #0.18.
link(65,41) :- #0.673.
link(41,78) :- #0.442.
link(78,41) :- #0.632.
link(41,79) :- #0.126.
link(79,41) :- #0.728.
link(41,88) :- #0.094.
link(88,41) :- #0.029.
link(41,104) :- #0.474.
link(104,41) :- #0.398.
link(41,106) :- #0.227.
link(106,41) :- #0.375.
link(41,134) :- #0.898.
link(134,41) :- #0.46.
link(42,48) :- #0.284.
link(48,42) :- #0.537.
link(42,60) :- #0.861.
link(60,42) :- #0.246.
link(42,61) :- #0.872.
link(61,42) :- #0.607.
link(42,77) :- #0.62.
link(77,42) :- #0.643.
link(42,78) :- #0.686.
link(78,42) :- #0.164.
link(42,105) :- #0.137.
link(105,42) :- #0.302.
link(42,112) :- #0.205.
link(112,42) :- #0.844.
link(42,125) :- #0.02.
link(125,42) :- #0.162.
link(42,129) :- #0.269.
link(129,42) :- #0.759.
link(42,130) :- #0.75.
link(130,42) :- #0.108.
link(42,133) :- #0.628.
link(133,42) :- #0.51.
link(42,135) :- #0.503.
link(135,42) :- #0.011.
link(42,140) :- #0.811.
link(140,42) :- #0.785.
link(43,44) :- #0.836.
link(44,43) :- #0.308.
link(43,47) :- #0.149.
link(47,43) :- #0.6.
link(43,62) :- #0.845.
link(62,43) :- #0.69.
link(43,63) :- #0.585.
link(63,43) :- #0.282.
link(43,66) :- #0.689.
link(66,43) :- #0.609.
link(43,82) :- #0.795.
link(82,43) :- #0.93.
link(43,91) :- #0.388.
link(91,43) :- #0.256.
link(43,117) :- #0.559.
link(117,43) :- #0.705.
link(43,120) :- #0.621.
link(120,43) :- #0.24.
link(43,131) :- #0.101.
link(131,43) :- #0.269.
link(43,133) :- #0.844.
link(133,43) :- #0.404.
link(43,138) :- #0.933.
link(138,43) :- #0.778.
link(43,145) :- #0.282.
link(145,43) :- #0.458.
link(44,54) :- #0.447.
link(54,44) :- #0.134.
link(44,62) :- #0.119.
link(62,44) :- #0.48.
link(44,64) :- #0.174.
link(64,44) :- #0.677.
link(44,68) :- #0.226.
link(68,44) :- #0.624.
link(44,74) :- #0.913.
link(74,44) :- #0.218.
link(44,78) :- #0.029.
link(78,44) :- #0.901.
link(44,84) :- #0.497.
link(84,44) :- #0.377.
link(44,87) :- #0.937.
link(87,44) :- #0.779.
link(44,89) :- #0.213.
link(89,44) :- #0.422.
link(44,92) :- #0.353.
link(92,44) :- #0.06.
link(44,112) :- #0.905.
link(112,44) :- #0.751.
link(44,120) :- #0.589.
link(120,44) :- #0.712.
link(44,141) :- #0.004.
link(141,44) :- #0.27.
link(44,142) :- #0.476.
link(142,44) :- #0.426.
link(45,52) :- #0.495.
link(52,45) :- #0.037.
link(45,63) :- #0.502.
link(63,45) :- #0.961.
link(45,69) :- #0.514.
link(69,45) :- #0.023.
link(45,72) :- #0.75.
link(72,45) :- #0.227.
link(45,76) :- #0.726.
link(76,45) :- #0.653.
link(45,97) :- #0.668.
link(97,45) :- #0.31.
link(45,101) :- #0.03.
link(101,45) :- #0.156.
link(45,103) :- #0.808.
link(103,45) :- #0.777.
link(45,114) :- #0.721.
link(114,45) :- #0.925.
link(45,115) :- #0.716.
link(115,45) :- #0.884.
link(45,128) :- #0.239.
link(128,45) :- #0.014.
link(45,137) :- #0.284.
link(137,45) :- #0.255.
link(46,47) :- #0.502.
link(47,46) :- #0.199.
link(46,51) :- #0.39.
link(51,46) :- #0.096.
link(46,54) :- #0.805.
link(54,46) :- #0.326.
link(46,78) :- #0.778.
link(78,46) :- #0.496.
link(46,102) :- #0.264.
link(102,46) :- #0.959.
link(46,126) :- #0.937.
link(126,46) :- #0.323.
link(46,135) :- #0.834.
link(135,46) :- #0.983.
link(46,137) :- #0.452.
link(137,46) :- #0.141.
link(47,58) :- #0.372.
link(58,47) :- #0.065.
link(47,67) :- #0.826.
link(67,47) :- #0.383.
link(47,88) :- #0.111.
link(88,47) :- #0.949.
link(47,96) :- #0.351.
link(96,47) :- #0.322.
link(47,99) :- #0.837.
link(99,47) :- #0.918.
link(47,109) :- #0.839.
link(109,47) :- #0.606.
link(47,126) :- #0.038.
link(126,47) :- #0.394.
link(48,53) :- #0.383.
link(53,48) :- #0.902.
link(48,85) :- #0.425.
link(85,48) :- #0.41.
link(48,98) :- #0.911.
link(98,48) :- #0.499.
link(48,117) :- #0.249.
link(117,48) :- #0.216.
link(48,135) :- #0.92.
link(135,48) :- #0.178.
link(48,137) :- #0.372.
link(137,48) :- #0.788.
link(48,143) :- #0.051.
link(143,48) :- #0.837.
link(49,85) :- #0.772.
link(85,49) :- #0.901.
link(49,93) :- #0.14.
link(93,49) :- #0.873.
link(49,96) :- #0.963.
link(96,49) :- #0.167.
link(49,99) :- #0.294.
link(99,49) :- #0.245.
link(49,106) :- #0.433.
link(106,49) :- #0.274.
link(49,126) :- #0.565.
link(126,49) :- #0.183.
link(49,133) :- #0.826.
link(133,49) :- #0.254.
link(49,135) :- #0.929.
link(135,49) :- #0.253.
link(49,137) :- #0.898.
link(137,49) :- #0.068.
link(49,141) :- #0.719.
link(141,49) :- #0.626.
link(50,67) :- #0.889.
link(67,50) :- #0.023.
link(50,69) :- #0.154.
link(69,50) :- #0.104.
link(50,74) :- #0.42.
link(74,50) :- #0.407.
link(50,116) :- #0.486.
link(116,50) :- #0.453.
link(50,125) :- #0.365.
link(125,50) :- #0.482.
link(50,127) :- #0.936.
link(127,50) :- #0.533.
link(50,128) :- #0.851.
link(128,50) :- #0.214.
link(50,129) :- #0.516.
link(129,50) :- #0.403.
link(50,144) :- #0.039.
link(144,50) :- #0.369.
link(50,145) :- #0.063.
link(145,50) :- #0.165.
link(51,65) :- #0.956.
link(65,51) :- #0.301.
link(51,70) :- #0.011.
link(70,51) :- #0.69.
link(51,74) :- #0.351.
link(74,51) :- #0.632.
link(51,79) :- #0.318.
link(79,51) :- #0.119.
link(51,87) :- #0.382.
link(87,51) :- #0.373.
link(51,88) :- #0.288.
link(88,51) :- #0.171.
link(51,98) :- #0.497.
link(98,51) :- #0.774.
link(51,108) :- #0.223.
link(108,51) :- #0.925.
link(51,117) :- #0.927.
link(117,51) :- #0.493.
link(51,124) :- #0.825.
link(124,51) :- #0.811.
link(51,128) :- #0.811.
link(128,51) :- #0.729.
link(51,136) :- #0.052.
link(136,51) :- #0.869.
link(51,144) :- #0.884.
link(144,51) :- #0.575.
link(52,55) :- #0.87.
link(55,52) :- #0.704.
link(52,65) :- #0.202.
link(65,52) :- #0.741.
link(52,67) :- #0.665.
link(67,52) :- #0.435.
link(52,68) :- #0.311.
link(68,52) :- #0.358.
link(52,87) :- #0.307.
link(87,52) :- #0.126.
link(52,90) :- #0.315.
link(90,52) :- #0.826.
link(52,94) :- #0.252.
link(94,52) :- #0.618.
link(52,98) :- #0.066.
link(98,52) :- #0.925.
link(52,100) :- #0.174.
link(100,52) :- #0.296.
link(52,107) :- #0.382.
link(107,52) :- #0.812.
link(52,109) :- #0.244.
link(109,52) :- #0.472.
link(52,128) :- #0.304.
link(128,52) :- #0.215.
link(52,139) :- #0.133.
link(139,52) :- #0.815.
link(53,59) :- #0.431.
link(59,53) :- #0.604.
link(53,66) :- #0.517.
link(66,53) :- #0.443.
link(53,88) :- #0.935.
link(88,53) :- #0.213.
link(53,124) :- #0.237.
link(124,53) :- #0.002.
link(54,63) :- #0.645.
link(63,54) :- #0.275.
link(54,71) :- #0.495.
link(71,54) :- #0.673.
link(54,78) :- #0.231.
link(78,54) :- #0.421.
link(54,79) :- #0.522.
link(79,54) :- #0.712.
link(54,91) :- #0.191.
link(91,54) :- #0.834.
link(54,121) :- #0.896.
link(121,54) :- #0.718.
link(54,140) :- #0.351.
link(140,54) :- #0.008.
link(55,56) :- #0.333.
link(56,55) :- #0.526.
link(55,63) :- #0.738.
link(63,55) :- #0.031.
link(55,70) :- #0.713.
link(70,55) :- #0.832.
link(55,71) :- #0.105.
link(71,55) :- #0.535.
link(55,84) :- #0.782.
link(84,55) :- #0.641.
link(55,94) :- #0.244.
link(94,55) :- #0.344.
link(55,104) :- #0.454.
link(104,55) :- #0.261.
link(55,110) :- #0.618.
link(110,55) :- #0.481.
link(55,116) :- #0.426.
link(116,55) :- #0.138.
link(55,122) :- #0.318.
link(122,55) :- #0.399.
link(55,128) :- #0.803.
link(128,55) :- #0.795.
link(55,134) :- #0.946.
link(134,55) :- #0.905.
link(55,135) :- #0.054.
link(135,55) :- #0.821.
link(55,143) :- #0.613.
link(143,55) :- #0.413.
link(56,67) :- #0.634.
link(67,56) :- #0.151.
link(56,93) :- #0.867.
link(93,56) :- #0.409.
link(56,96) :- #0.483.
link(96,56) :- #0.247.
link(56,97) :- #0.248.
link(97,56) :- #0.891.
link(56,104) :- #0.763.
link(104,56) :- #0.649.
link(56,114) :- #0.223.
link(114,56) :- #0.282.
link(56,117) :- #0.377.
link(117,56) :- #0.085.
link(56,123) :- #0.239.
link(123,56) :- #0.755.
link(56,135) :- #0.875.
link(135,56) :- #0.022.
link(57,70) :- #0.219.
link(70,57) :- #0.099.
link(57,106) :- #0.405.
link(106,57) :- #0.518.
link(57,116) :- #0.244.
link(116,57) :- #0.247.
link(57,128) :- #0.864.
link(128,57) :- #0.142.
link(57,130) :- #0.037.
link(130,57) :- #0.289.
link(57,144) :- #0.501.
link(144,57) :- #0.914.
link(58,80) :- #0.742.
link(80,58) :- #0.485.
link(58,97) :- #0.182.
link(97,58) :- #0.907.
link(58,106) :- #0.95.
link(106,58) :- #0.191.
link(58,121) :- #0.614.
link(121,58) :- #0.645.
link(58,140) :- #0.911.
link(140,58) :- #0.258.
link(59,74) :- #0.863.
link(74,59) :- #0.525.
link(59,83) :- #0.902.
link(83,59) :- #0.87.
link(59,94) :- #0.059.
link(94,59) :- #0.55.
link(59,105) :- #0.06.
link(105,59) :- #0.752.
link(59,111) :- #0.632.
link(111,59) :- #0.946.
link(59,114) :- #0.163.
link(114,59) :- #0.579.
link(59,140) :- #0.55.
link(140,59) :- #0.176.
link(60,64) :- #0.474.
link(64,60) :- #0.178.
link(60,65) :- #0.833.
link(65,60) :- #0.269.
link(60,82) :- #0.241.
link(82,60) :- #0.043.
link(60,86) :- #0.019.
link(86,60) :- #0.689.
link(60,90) :- #0.905.
link(90,60) :- #0.928.
link(60,99) :- #0.988.
link(99,60) :- #0.52.
link(60,103) :- #0.704.
link(103,60) :- #0.905.
link(60,107) :- #0.604.
link(107,60) :- #0.004.
link(60,110) :- #0.755.
link(110,60) :- #0.736.
link(60,126) :- #0.44.
link(126,60) :- #0.325.
link(60,128) :- #0.961.
link(128,60) :- #0.569.
link(60,142) :- #0.543.
link(142,60) :- #0.497.
link(60,145) :- #0.211.
link(145,60) :- #0.525.
link(61,64) :- #0.908.
link(64,61) :- #0.639.
link(61,69) :- #0.298.
link(69,61) :- #0.358.
link(61,73) :- #0.261.
link(73,61) :- #0.419.
link(61,92) :- #0.191.
link(92,61) :- #0.057.
link(61,96) :- #0.756.
link(96,61) :- #0.896.
link(61,101) :- #0.716.
link(101,61) :- #0.379.
link(61,108) :- #0.662.
link(108,61) :- #0.97.
link(61,130) :- #0.992.
link(130,61) :- #0.245.
link(62,68) :- #0.441.
link(68,62) :- #0.634.
link(62,73) :- #0.153.
link(73,62) :- #0.752.
link(62,84) :- #0.456.
link(84,62) :- #0.835.
link(62,104) :- #0.953.
link(104,62) :- #0.009.
link(62,113) :- #0.924.
link(113,62) :- #0.893.
link(62,132) :- #0.726.
link(132,62) :- #0.855.
link(62,135) :- #0.395.
link(135,62) :- #0.877.
link(62,138) :- #0.288.
link(138,62) :- #0.83.
link(62,142) :- #0.764.
link(142,62) :- #0.487.
link(63,65) :- #0.522.
link(65,63) :- #0.103.
link(63,66) :- #0.439.
link(66,63) :- #0.579.
link(63,69) :- #0.458.
link(69,63) :- #0.778.
link(63,75) :- #0.277.
link(75,63) :- #0.518.
link(63,83) :- #0.265.
link(83,63) :- #0.319.
link(63,124) :- #0.223.
link(124,63) :- #0.802.
link(63,128) :- #0.135.
link(128,63) :- #0.608.
link(63,132) :- #0.382.
link(132,63) :- #0.354.
link(63,137) :- #0.957.
link(137,63) :- #0.177.
link(63,138) :- #0.641.
link(138,63) :- #0.37.
link(64,79) :- #0.829.
link(79,64) :- #0.685.
link(64,82) :- #0.725.
link(82,64) :- #0.681.
link(64,85) :- #0.171.
link(85,64) :- #0.321.
link(64,108) :- #0.049.
link(108,64) :- #0.03.
link(64,112) :- #0.719.
link(112,64) :- #0.915.
link(64,116) :- #0.232.
link(116,64) :- #0.094.
link(64,128) :- #0.239.
link(128,64) :- #0.727.
link(64,131) :- #0.328.
link(131,64) :- #0.362.
link(64,132) :- #0.106.
link(132,64) :- #0.555.
link(65,74) :- #0.509.
link(74,65) :- #0.17.
link(65,81) :- #0.014.
link(81,65) :- #0.575.
link(65,82) :- #0.05.
link(82,65) :- #0.281.
link(65,86) :- #0.151.
link(86,65) :- #0.784.
link(65,102) :- #0.409.
link(102,65) :- #0.888.
link(65,106) :- #0.232.
link(106,65) :- #0.409.
link(65,122) :- #0.058.
link(122,65) :- #0.89.
link(65,126) :- #0.256.
link(126,65) :- #0.148.
link(66,68) :- #0.633.
link(68,66) :- #0.785.
link(66,70) :- #0.757.
link(70,66) :- #0.651.
link(66,73) :- #0.057.
link(73,66) :- #0.559.
link(66,74) :- #0.534.
link(74,66) :- #0.574.
link(66,84) :- #0.464.
link(84,66) :- #0.243.
link(66,85) :- #0.145.
link(85,66) :- #0.577.
link(66,96) :- #0.212.
link(96,66) :- #0.288.
link(66,98) :- #0.276.
link(98,66) :- #0.458.
link(66,109) :- #0.584.
link(109,66) :- #0.862.
link(66,114) :- #0.048.
link(114,66) :- #0.747.
link(66,115) :- #0.359.
link(115,66) :- #0.597.
link(66,136) :- #0.251.
link(136,66) :- #0.442.
link(67,75) :- #0.487.
link(75,67) :- #0.965.
link(67,83) :- #0.934.
link(83,67) :- #0.444.
link(67,85) :- #0.11.
link(85,67) :- #0.41.
link(67,88) :- #0.957.
link(88,67) :- #0.903.
link(67,89) :- #0.141.
link(89,67) :- #0.892.
link(67,94) :- #0.489.
link(94,67) :- #0.168.
link(67,107) :- #0.084.
link(107,67) :- #0.676.
link(67,134) :- #0.647.
link(134,67) :- #0.825.
link(67,142) :- #0.428.
link(142,67) :- #0.903.
link(68,71) :- #0.848.
link(71,68) :- #0.33.
link(68,74) :- #0.493.
link(74,68) :- #0.739.
link(68,79) :- #0.092.
link(79,68) :- #0.699.
link(68,86) :- #0.38.
link(86,68) :- #0.166.
link(68,88) :- #0.505.
link(88,68) :- #0.337.
link(68,94) :- #0.534.
link(94,68) :- #0.806.
link(68,112) :- #0.527.
link(112,68) :- #0.333.
link(68,126) :- #0.361.
link(126,68) :- #0.546.
link(69,70) :- #0.334.
link(70,69) :- #0.964.
link(69,72) :- #0.386.
link(72,69) :- #0.205.
link(69,77) :- #0.19.
link(77,69) :- #0.941.
link(69,84) :- #0.195.
link(84,69) :- #0.639.
link(69,97) :- #0.673.
link(97,69) :- #0.445.
link(69,100) :- #0.138.
link(100,69) :- #0.523.
link(69,124) :- #0.162.
link(124,69) :- #0.723.
link(69,129) :- #0.658.
link(129,69) :- #0.768.
link(69,130) :- #0.819.
link(130,69) :- #0.069.
link(69,134) :- #0.611.
link(134,69) :- #0.097.
link(69,137) :- #0.992.
link(137,69) :- #0.189.
link(69,143) :- #0.919.
link(143,69) :- #0.465.
link(70,114) :- #0.624.
link(114,70) :- #0.087.
link(70,130) :- #0.908.
link(130,70) :- #0.823.
link(70,139) :- #0.702.
link(139,70) :- #0.855.
link(70,141) :- #0.265.
link(141,70) :- #0.316.
link(71,74) :- #0.074.
link(74,71) :- #0.7.
link(71,76) :- #0.465.
link(76,71) :- #0.689.
link(71,80) :- #0.339.
link(80,71) :- #0.591.
link(71,88) :- #0.877.
link(88,71) :- #0.878.
link(71,96) :- #0.883.
link(96,71) :- #0.48.
link(71,116) :- #0.537.
link(116,71) :- #0.959.
link(71,136) :- #0.199.
link(136,71) :- #0.798.
link(71,138) :- #0.551.
link(138,71) :- #0.827.
link(71,145) :- #0.177.
link(145,71) :- #0.057.
link(72,82) :- #0.344.
link(82,72) :- #0.478.
link(72,93) :- #0.197.
link(93,72) :- #0.824.
link(72,96) :- #0.951.
link(96,72) :- #0.369.
link(72,110) :- #0.256.
link(110,72) :- #0.116.
link(72,127) :- #0.545.
link(127,72) :- #0.137.
link(72,128) :- #0.649.
link(128,72) :- #0.492.
link(72,134) :- #0.431.
link(134,72) :- #0.463.
link(73,74) :- #0.301.
link(74,73) :- #0.743.
link(73,79) :- #0.322.
link(79,73) :- #0.136.
link(73,89) :- #0.887.
link(89,73) :- #0.39.
link(73,93) :- #0.5.
link(93,73) :- #0.356.
link(73,96) :- #0.635.
link(96,73) :- #0.938.
link(73,121) :- #0.114.
link(121,73) :- #0.329.
link(73,122) :- #0.733.
link(122,73) :- #0.624.
link(73,130) :- #0.718.
link(130,73) :- #0.474.
link(73,131) :- #0.805.
link(131,73) :- #0.7.
link(74,75) :- #0.961.
link(75,74) :- #0.576.
link(74,81) :- #0.821.
link(81,74) :- #0.052.
link(74,84) :- #0.199.
link(84,74) :- #0.776.
link(74,91) :- #0.325.
link(91,74) :- #0.394.
link(74,92) :- #0.499.
link(92,74) :- #0.748.
link(74,93) :- #0.185.
link(93,74) :- #0.636.
link(74,94) :- #0.91.
link(94,74) :- #0.243.
link(74,95) :- #0.391.
link(95,74) :- #0.283.
link(74,101) :- #0.863.
link(101,74) :- #0.754.
link(74,112) :- #0.294.
link(112,74) :- #0.449.
link(74,123) :- #0.643.
link(123,74) :- #0.302.
link(74,142) :- #0.265.
link(142,74) :- #0.966.
link(74,144) :- #0.168.
link(144,74) :- #0.698.
link(75,76) :- #0.961.
link(76,75) :- #0.015.
link(75,88) :- #0.883.
link(88,75) :- #0.653.
link(75,89) :- #0.293.
link(89,75) :- #0.201.
link(75,94) :- #0.747.
link(94,75) :- #0.087.
link(75,96) :- #0.135.
link(96,75) :- #0.169.
link(75,114) :- #0.794.
link(114,75) :- #0.112.
link(75,132) :- #0.749.
link(132,75) :- #0.017.
link(75,133) :- #0.066.
link(133,75) :- #0.831.
link(75,141) :- #0.632.
link(141,75) :- #0.285.
link(75,145) :- #0.176.
link(145,75) :- #0.823.
link(76,89) :- #0.747.
link(89,76) :- #0.301.
link(76,91) :- #0.057.
link(91,76) :- #0.606.
link(76,95) :- #0.265.
link(95,76) :- #0.822.
link(76,110) :- #0.6.
link(110,76) :- #0.425.
link(76,138) :- #0.518.
link(138,76) :- #0.063.
link(77,96) :- #0.64.
link(96,77) :- #0.06.
link(77,102) :- #0.684.
link(102,77) :- #0.352.
link(77,120) :- #0.838.
link(120,77) :- #0.535.
link(77,122) :- #0.225.
link(122,77) :- #0.406.
link(77,130) :- #0.381.
link(130,77) :- #0.246.
link(77,137) :- #0.466.
link(137,77) :- #0.888.
link(78,86) :- #0.376.
link(86,78) :- #0.215.
link(78,92) :- #0.323.
link(92,78) :- #0.805.
link(78,107) :- #0.527.
link(107,78) :- #0.615.
link(78,109) :- #0.643.
link(109,78) :- #0.121.
link(78,123) :- #0.046.
link(123,78) :- #0.923.
link(78,129) :- #0.182.
link(129,78) :- #0.697.
link(78,132) :- #0.191.
link(132,78) :- #0.873.
link(78,138) :- #0.91.
link(138,78) :- #0.387.
link(78,143) :- #0.765.
link(143,78) :- #0.823.
link(79,86) :- #0.343.
link(86,79) :- #0.529.
link(79,98) :- #0.041.
link(98,79) :- #0.023.
link(79,100) :- #0.208.
link(100,79) :- #0.537.
link(79,101) :- #0.941.
link(101,79) :- #0.232.
link(79,102) :- #0.285.
link(102,79) :- #0.343.
link(79,107) :- #0.685.
link(107,79) :- #0.953.
link(79,130) :- #0.248.
link(130,79) :- #0.65.
link(79,142) :- #0.378.
link(142,79) :- #0.389.
link(80,82) :- #0.048.
link(82,80) :- #0.717.
link(80,90) :- #0.871.
link(90,80) :- #0.991.
link(80,91) :- #0.807.
link(91,80) :- #0.467.
link(80,96) :- #0.394.
link(96,80) :- #0.727.
link(80,99) :- #0.386.
link(99,80) :- #0.363.
link(80,115) :- #0.737.
link(115,80) :- #0.971.
link(80,124) :- #0.308.
link(124,80) :- #0.722.
link(80,133) :- #0.433.
link(133,80) :- #0.301.
link(80,141) :- #0.392.
link(141,80) :- #0.968.
link(81,84) :- #0.606.
link(84,81) :- #0.462.
link(81,90) :- #0.268.
link(90,81) :- #0.077.
link(81,98) :- #0.669.
link(98,81) :- #0.047.
link(81,118) :- #0.703.
link(118,81) :- #0.946.
link(81,119) :- #0.236.
link(119,81) :- #0.998.
link(81,124) :- #0.712.
link(124,81) :- #0.195.
link(81,131) :- #0.978.
link(131,81) :- #0.113.
link(81,132) :- #0.429.
link(132,81) :- #0.578.
link(82,86) :- #0.016.
link(86,82) :- #0.341.
link(82,89) :- #0.513.
link(89,82) :- #0.621.
link(82,112) :- #0.165.
link(112,82) :- #0.594.
link(82,117) :- #0.971.
link(117,82) :- #0.688.
link(82,137) :- #0.33.
link(137,82) :- #0.015.
link(82,140) :- #0.95.
link(140,82) :- #0.49.
link(83,87) :- #0.535.
link(87,83) :- #0.599.
link(83,106) :- #0.732.
link(106,83) :- #0.369.
link(83,112) :- #0.197.
link(112,83) :- #0.646.
link(83,113) :- #0.466.
link(113,83) :- #0.797.
link(83,142) :- #0.726.
link(142,83) :- #0.756.
link(84,87) :- #0.53.
link(87,84) :- #0.481.
link(84,106) :- #0.337.
link(106,84) :- #0.89.
link(84,108) :- #0.723.
link(108,84) :- #0.886.
link(84,112) :- #0.235.
link(112,84) :- #0.915.
link(84,116) :- #0.22.
link(116,84) :- #0.628.
link(84,122) :- #0.012.
link(122,84) :- #0.089.
link(84,138) :- #0.59.
link(138,84) :- #0.076.
link(85,93) :- #0.194.
link(93,85) :- #0.042.
link(85,97) :- #0.604.
link(97,85) :- #0.021.
link(85,105) :- #0.36.
link(105,85) :- #0.127.
link(85,114) :- #0.595.
link(114,85) :- #0.825.
link(85,117) :- #0.793.
link(117,85) :- #0.031.
link(85,135) :- #0.255.
link(135,85) :- #0.242.
link(85,142) :- #0.436.
link(142,85) :- #0.34.
link(85,144) :- #0.736.
link(144,85) :- #0.681.
link(86,102) :- #0.192.
link(102,86) :- #0.432.
link(86,105) :- #0.248.
link(105,86) :- #0.156.
link(86,122) :- #0.853.
link(122,86) :- #0.771.
link(87,107) :- #0.265.
link(107,87) :- #0.282.
link(87,131) :- #0.892.
link(131,87) :- #0.901.
link(87,132) :- #0.132.
link(132,87) :- #0.382.
link(87,134) :- #0.733.
link(134,87) :- #0.476.
link(87,136) :- #0.219.
link(136,87) :- #0.105.
link(87,140) :- #0.32.
link(140,87) :- #0.526.
link(88,107) :- #0.713.
link(107,88) :- #0.558.
link(88,110) :- #0.679.
link(110,88) :- #0.093.
link(88,115) :- #0.004.
link(115,88) :- #0.226.
link(88,117) :- #0.807.
link(117,88) :- #0.035.
link(88,119) :- #0.307.
link(119,88) :- #0.332.
link(88,134) :- #0.581.
link(134,88) :- #0.375.
link(88,136) :- #0.319.
link(136,88) :- #0.344.
link(88,144) :- #0.233.
link(144,88) :- #0.293.
link(89,103) :- #0.205.
link(103,89) :- #0.421.
link(89,111) :- #0.412.
link(111,89) :- #0.94.
link(89,118) :- #0.06.
link(118,89) :- #0.473.
link(89,140) :- #0.365.
link(140,89) :- #0.445.
link(89,141) :- #0.999.
link(141,89) :- #0.312.
link(90,110) :- #0.561.
link(110,90) :- #0.053.
link(90,117) :- #0.604.
link(117,90) :- #0.243.
link(90,122) :- #0.309.
link(122,90) :- #0.495.
link(90,135) :- #0.285.
link(135,90) :- #0.182.
link(90,140) :- #0.919.
link(140,90) :- #0.871.
link(91,96) :- #0.078.
link(96,91) :- #0.45.
link(91,99) :- #0.559.
link(99,91) :- #0.128.
link(91,102) :- #0.011.
link(102,91) :- #0.391.
link(91,109) :- #0.641.
link(109,91) :- #0.196.
link(91,116) :- #0.77.
link(116,91) :- #0.629.
link(91,117) :- #0.854.
link(117,91) :- #0.097.
link(91,130) :- #0.393.
link(130,91) :- #0.465.
link(91,131) :- #0.47.
link(131,91) :- #0.468.
link(92,100) :- #0.844.
link(100,92) :- #0.664.
link(92,127) :- #0.4.
link(127,92) :- #0.546.
link(92,131) :- #0.895.
link(131,92) :- #0.839.
link(92,136) :- #0.554.
link(136,92) :- #0.404.
link(92,139) :- #0.924.
link(139,92) :- #0.129.
link(93,96) :- #0.068.
link(96,93) :- #0.239.
link(93,123) :- #0.24.
link(123,93) :- #0.74.
link(93,145) :- #0.925.
link(145,93) :- #0.441.
link(94,95) :- #0.891.
link(95,94) :- #0.911.
link(94,111) :- #0.851.
link(111,94) :- #0.783.
link(94,119) :- #0.81.
link(119,94) :- #0.518.
link(94,123) :- #0.221.
link(123,94) :- #0.879.
link(94,125) :- #0.471.
link(125,94) :- #0.838.
link(94,133) :- #0.206.
link(133,94) :- #0.566.
link(94,134) :- #0.049.
link(134,94) :- #0.403.
link(94,139) :- #0.734.
link(139,94) :- #0.414.
link(94,140) :- #0.782.
link(140,94) :- #0.509.
link(95,99) :- #0.906.
link(99,95) :- #0.333.
link(95,121) :- #0.712.
link(121,95) :- #0.148.
link(95,126) :- #0.601.
link(126,95) :- #0.587.
link(95,134) :- #0.049.
link(134,95) :- #0.245.
link(96,119) :- #0.668.
link(119,96) :- #0.016.
link(96,122) :- #0.888.
link(122,96) :- #0.262.
link(97,104) :- #0.8.
link(104,97) :- #0.511.
link(97,139) :- #0.11.
link(139,97) :- #0.086.
link(98,108) :- #0.164.
link(108,98) :- #0.698.
link(99,108) :- #0.706.
link(108,99) :- #0.568.
link(99,115) :- #0.62.
link(115,99) :- #0.122.
link(99,120) :- #0.173.
link(120,99) :- #0.086.
link(99,127) :- #0.945.
link(127,99) :- #0.343.
link(99,140) :- #0.588.
link(140,99) :- #0.649.
link(100,134) :- #0.453.
link(134,100) :- #0.135.
link(101,108) :- #0.523.
link(108,101) :- #0.712.
link(101,110) :- #0.467.
link(110,101) :- #0.243.
link(101,122) :- #0.698.
link(122,101) :- #0.313.
link(101,138) :- #0.075.
link(138,101) :- #0.798.
link(101,143) :- #0.524.
link(143,101) :- #0.018.
link(102,110) :- #0.662.
link(110,102) :- #0.972.
link(102,117) :- #0.968.
link(117,102) :- #0.621.
link(102,118) :- #0.065.
link(118,102) :- #0.557.
link(102,119) :- #0.317.
link(119,102) :- #0.418.
link(102,129) :- #0.445.
link(129,102) :- #0.997.
link(102,134) :- #0.709.
link(134,102) :- #0.127.
link(102,143) :- #0.652.
link(143,102) :- #0.708.
link(103,106) :- #0.053.
link(106,103) :- #0.291.
link(103,125) :- #0.139.
link(125,103) :- #0.99.
link(103,131) :- #0.376.
link(131,103) :- #0.989.
link(103,133) :- #0.072.
link(133,103) :- #0.197.
link(104,112) :- #0.407.
link(112,104) :- #0.366.
link(104,114) :- #0.034.
link(114,104) :- #0.348.
link(104,130) :- #0.444.
link(130,104) :- #0.245.
link(104,139) :- #0.46.
link(139,104) :- #0.759.
link(105,127) :- #0.328.
link(127,105) :- #0.813.
link(105,135) :- #0.209.
link(135,105) :- #0.336.
link(105,145) :- #0.769.
link(145,105) :- #0.134.
link(106,110) :- #0.427.
link(110,106) :- #0.728.
link(106,114) :- #0.721.
link(114,106) :- #0.23.
link(106,130) :- #0.32.
link(130,106) :- #0.817.
link(106,136) :- #0.003.
link(136,106) :- #0.55.
link(106,139) :- #0.715.
link(139,106) :- #0.941.
link(107,112) :- #0.796.
link(112,107) :- #0.284.
link(107,119) :- #0.228.
link(119,107) :- #0.518.
link(107,124) :- #0.828.
link(124,107) :- #0.839.
link(107,127) :- #0.746.
link(127,107) :- #0.381.
link(107,138) :- #0.316.
link(138,107) :- #0.556.
link(108,110) :- #0.277.
link(110,108) :- #0.351.
link(108,117) :- #0.835.
link(117,108) :- #0.95.
link(108,136) :- #0.479.
link(136,108) :- #0.327.
link(108,143) :- #0.896.
link(143,108) :- #0.296.
link(109,126) :- #0.495.
link(126,109) :- #0.408.
link(109,136) :- #0.838.
link(136,109) :- #0.609.
link(109,138) :- #0.672.
link(138,109) :- #0.082.
link(110,117) :- #0.771.
link(117,110) :- #0.14.
link(110,133) :- #0.229.
link(133,110) :- #0.831.
link(110,145) :- #0.301.
link(145,110) :- #0.569.
link(111,116) :- #0.594.
link(116,111) :- #0.557.
link(111,121) :- #0.186.
link(121,111) :- #0.56.
link(111,130) :- #0.534.
link(130,111) :- #0.95.
link(111,142) :- #0.339.
link(142,111) :- #0.198.
link(112,138) :- #0.224.
link(138,112) :- #0.291.
link(113,138) :- #0.661.
link(138,113) :- #0.716.
link(114,120) :- #0.133.
link(120,114) :- #0.736.
link(114,131) :- #0.456.
link(131,114) :- #0.608.
link(115,117) :- #0.203.
link(117,115) :- #0.825.
link(115,118) :- #0.917.
link(118,115) :- #0.683.
link(115,120) :- #0.952.
link(120,115) :- #0.828.
link(115,125) :- #0.76.
link(125,115) :- #0.324.
link(115,135) :- #0.155.
link(135,115) :- #0.684.
link(117,120) :- #0.152.
link(120,117) :- #0.477.
link(117,121) :- #0.994.
link(121,117) :- #0.155.
link(118,124) :- #0.922.
link(124,118) :- #0.965.
link(118,125) :- #0.506.
link(125,118) :- #0.6.
link(118,133) :- #0.729.
link(133,118) :- #0.142.
link(119,122) :- #0.82.
link(122,119) :- #0.426.
link(119,124) :- #0.549.
link(124,119) :- #0.786.
link(119,128) :- #0.585.
link(128,119) :- #0.052.
link(119,140) :- #0.026.
link(140,119) :- #0.231.
link(119,141) :- #0.015.
link(141,119) :- #0.582.
link(119,143) :- #0.953.
link(143,119) :- #0.967.
link(119,144) :- #0.649.
link(144,119) :- #0.603.
link(120,130) :- #0.395.
link(130,120) :- #0.365.
link(120,132) :- #0.789.
link(132,120) :- #0.636.
link(120,140) :- #0.526.
link(140,120) :- #0.458.
link(120,145) :- #0.42.
link(145,120) :- #0.04.
link(121,122) :- #0.687.
link(122,121) :- #0.206.
link(121,126) :- #0.302.
link(126,121) :- #0.191.
link(121,133) :- #0.069.
link(133,121) :- #0.81.
link(121,139) :- #0.879.
link(139,121) :- #0.783.
link(121,143) :- #0.786.
link(143,121) :- #0.092.
link(121,144) :- #0.404.
link(144,121) :- #0.335.
link(122,127) :- #0.441.
link(127,122) :- #0.886.
link(124,140) :- #0.351.
link(140,124) :- #0.615.
link(125,126) :- #0.944.
link(126,125) :- #0.806.
link(125,128) :- #0.204.
link(128,125) :- #0.535.
link(125,140) :- #0.856.
link(140,125) :- #0.553.
link(125,145) :- #0.371.
link(145,125) :- #0.309.
link(127,130) :- #0.486.
link(130,127) :- #0.409.
link(127,144) :- #0.31.
link(144,127) :- #0.605.
link(128,134) :- #0.989.
link(134,128) :- #0.456.
link(128,138) :- #0.419.
link(138,128) :- #0.385.
link(128,144) :- #0.627.
link(144,128) :- #0.852.
link(129,141) :- #0.628.
link(141,129) :- #0.854.
link(129,143) :- #0.814.
link(143,129) :- #0.769.
link(129,145) :- #0.371.
link(145,129) :- #0.81.
link(130,137) :- #0.732.
link(137,130) :- #0.133.
link(130,140) :- #0.32.
link(140,130) :- #0.988.
link(130,142) :- #0.763.
link(142,130) :- #0.363.
link(131,133) :- #0.451.
link(133,131) :- #0.152.
link(131,138) :- #0.33.
link(138,131) :- #0.077.
link(131,144) :- #0.911.
link(144,131) :- #0.44.
link(132,134) :- #0.35.
link(134,132) :- #0.195.
link(133,138) :- #0.534.
link(138,133) :- #0.393.
link(133,140) :- #0.6.
link(140,133) :- #0.441.
link(134,137) :- #0.542.
link(137,134) :- #0.376.
link(135,136) :- #0.886.
link(136,135) :- #0.839.
link(135,145) :- #0.854.
link(145,135) :- #0.32.
link(136,144) :- #0.839.
link(144,136) :- #0.934.
link(137,139) :- #0.069.
link(139,137) :- #0.735.
link(137,144) :- #0.291.
link(144,137) :- #0.977.
link(138,139) :- #0.628.
link(139,138) :- #0.174.
link(142,145) :- #0.628.
link(145,142) :- #0.915.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
